A Knowledge-Based Support System for Embedded Computer Software Analysis
نویسندگان
چکیده
The system specification support environment presented in this paper, PROSPEX (Product Specification Expert), supports the RT-SA methodology. It not only provides graphic support for drawing, but also helps the engineer in the analysis and design process itself. PROSPEX analyses the quality and correctness of the RT-SA diagrams using knowledge-based techniques. PROSPEX also includes features for supporting design reuse. The development environment of PROSPEX was KEE expert system development shell running on a Symbolics workstation!.
منابع مشابه
A Model-Driven Decision Support System for Software Cost Estimation (Case Study: Projects in NASA60 Dataset)
Estimating the costs of software development is one of the most important activities in software project management. Inaccuracies in such estimates may cause irreparable loss. A low estimate of the cost of projects will result in failure on delivery on time and indicates the inefficiency of the software development team. On the other hand, high estimates of resources and costs for a project wil...
متن کاملA Knowledge-based Support System for the Reuse of Structured Specifications and Designs of Embedded Computer Systems
THE AND Reuse promises to be one of the key factors in enhancing quality and productivity in software development. However, CASE tools for real-time systems are usually focused on the development of new software. In this paper we describe a domain-based support system for the reuse of structured software specifications and designs of embedded software! .
متن کاملDevelopment of system decision support tools for behavioral trends monitoring of machinery maintenance in a competitive environment
The article is centred on software system development for manufacturing company that produces polyethylene bags using mostly conventional machines in a competitive world where each business enterprise desires to stand tall. This is meant to assist in gaining market shares, taking maintenance and production decisions by the dynamism and flexibilities embedded in the package as customers’ demand ...
متن کاملA Framework of Tools for Managing Software Architecture Knowledge
Software architecture (SA) process consists of several activities, which involve complex knowledge intensive process. The knowledge produced and consumed during this process needs to be shared and reused among different stakeholders, and across different life-cycle phases. Therefore, software architecture knowledge needs to be managed for improving organization architecture capabilities. It is ...
متن کاملMulti-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL
The Architecture Analysis & Design Language, (AADL), Society of Automotive Engineers (SAE), AS5506, was developed to support quantitative analysis of the runtime architecture of the embedded software system in computer systems with multiple critical operational properties, such as responsiveness, safety-criticality, security, and reliability by allowing a model of the system to be annotated wit...
متن کامل